From: Richard M. Stallman <rms@gnu.org>
Date: Tue, 30 Sep 2003 12:48:19 +0000 (+0000)
Subject: (Info-mode): Double each `%' in header line.
X-Git-Tag: archive/raspbian/1%29.2+1-2+rpi1~1^2~25366
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/www.github.com/%22bookmarks:///%22http:/www.example.com/cgi/%22https:/www.github.com/%22bookmarks:/?a=commitdiff_plain;h=3ec02956bd3452ea96d38772c63814b5b2e485e6;p=emacs.git

(Info-mode): Double each `%' in header line.
---

diff --git a/lisp/info.el b/lisp/info.el
index 800ee86cbed..28869c4f469 100644
--- a/lisp/info.el
+++ b/lisp/info.el
@@ -2522,7 +2522,10 @@ Advanced commands:
   (make-local-variable 'Info-index-alternatives)
   (setq header-line-format
 	(if Info-use-header-line
-	    '(:eval (get-text-property (point-min) 'header-line))
+	    '(:eval
+	      (replace-regexp-in-string
+	       "%" "%%"
+	       (get-text-property (point-min) 'header-line)))
 	  nil)) ; so the header line isn't displayed
   (set (make-local-variable 'tool-bar-map) info-tool-bar-map)
   ;; This is for the sake of the invisible text we use handling titles.